\section{``Вертикальный'' конкретный синтаксис}

\begin{itemize}
\item Синтаксис выражений: 
  \begin{enumerate}
    \item $\sembr{n}="!"n$, $n\in\NN$;
    \item $\sembr{x}="x"x$, $x\in X$;
    \item $\sembr{A\otimes B}="@"\otimes\sembr{A}\sembr{B}$.
  \end{enumerate}

\item Синтаксис операторов:
  \begin{enumerate}
    \item $\sembr{\llang{skip}}="s"$;
    \item $\sembr{x\llang{:=}e}="\symbol{61}"x\sembr{e}$;
    \item $\sembr{\llang{write$\;e\;$}}="w"\sembr{e}$;
    \item $\sembr{\llang{read$\;x\;$}}="r"x$;
    \item $\sembr{\llang{$S_1\;$;$S_2$}}=";"\sembr{S_1}\sembr{S_2}$;
    \item $\sembr{\llang{if$\;e\;$then$\;S_1\;$else$\;S_2\;$}}="i"\sembr{e}\sembr{S_1}\sembr{S_2}$;
    \item $\sembr{\llang{while$\;e\;$do$\;S\;$}}="l"\sembr{e}\sembr{S}$.
  \end{enumerate}
\end{itemize}
